purely inseparable morphism

纯不可分态射